منابع مشابه
Algèbres de réalisabilité: un programme pour bien ordonner R
Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...
متن کاملUn petit cercle, un grand exemple (دایرهای کوچک، سرمشقی بزرگ )
نام هانری کربن با دو دایره گره خورده است: دایرة ارانوس و دایرة تهران؛ دایرههایی که مطابق منظر کربن، میتوان آنها را بهدرستی رمزی و مثالی خواند. این مقاله به دایرة تهران اختصاص دارد، دایرهای تحقیقی که با حضور اندیشمندانی چند، و با محوریت دو شخصیت از شرق و غرب، علامه سید محمد حسین طباطبایی و هانری کربن، شکل میگرفت. برغم همه مشکلات فنی و فیزیکی ارتباط کلامی، این دو مرد، به خوبی با یکدیگر «مقاب...
متن کاملBien cube, les données textuelles peuvent s'agréger !
Résumé. La masse des données aujourd’hui disponibles engendre des besoins croissants de méthodes décisionnelles adaptées aux données traitées. Ainsi, récemment de nouvelles approches fondées sur des cubes de textes sont apparues pour pouvoir analyser et extraire de la connaissance à partir de documents. L’originalité de ces cubes est d’étendre les approches traditionnelles des entrepôts et des ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: médecine/sciences
سال: 2003
ISSN: 0767-0974,1958-5381
DOI: 10.1051/medsci/200319121181